翻訳と辞書 Words near each other ・ Vladimir Leonchenko ・ Vladimir Leonidovich Popov ・ Vladimir Leonov ・ Vladimir Leonov (cyclist) ・ Vladimir Leonov (motorcycle racer) ・ Vladimir Leontyevich Komarov ・ Vladimir Leshonok ・ Vladimir Letnicov ・ Vladimir Levenshtein ・ Vladimir Levin ・ Vladimir Levshin ・ Vladimir Lexa ・ Vladimir Liakhov ・ Vladimir Liberzon ・ Vladimir Lichutin ・ Vladimir Lifschitz ・ Vladimir Linderman ・ Vladimir Lisin ・ Vladimir Lisitsin ・ Vladimir Lisunov ・ Vladimir Littauer ・ Vladimir Litvinenko ・ Vladimir Litvinenko (sledge hockey) ・ Vladimir Livșiț ・ Vladimir Lobanov ・ Vladimir Lobashev ・ Vladimir Lobkaryov ・ Vladimir Loginov ・ Vladimir Loginov (footballer) ・ Vladimir Loginov (ice hockey) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Vladimir Lifschitz ： ウィキペディア英語版 Vladimir Lifschitz Vladimir Lifschitz is the Gottesman Family Centennial Professor in Computer Sciences at the University of Texas at Austin. He received a degree in mathematics from the Steklov Institute of Mathematics in Russia in 1971 and emigrated to the United States in 1976. Lifschitz's research interests are in the areas of computational logic and knowledge representation. He is a Fellow of the Association for the Advancement of Artificial Intelligence, the Editor-in-Chief of the ACM Transactions on Computational Logic, and an Editorial Advisor of the journal ''Theory and Practice of Logic Programming''. He, together with Michael Gelfond, defined stable model semantics〔Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080〕 for logic programs, which later became the theoretical foundation for Answer Set Programming,〔Victor Marek and Miroslaw Truszczynski. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, pages 375-398. Springer Verlag, 1999〕 a new declarative programming paradigm. ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Vladimir Lifschitz」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.